大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Symposium on Computer Software Reliability (1973 : New York City) 的图书(共9357本)

Model Checking Software [electronic resource] : 18th International SPIN Workshop, Snowbird, UT, USA, July 14-15, 2011. Proceedings

0
索取号：
作者：Groce、 Alex.、Musuvathi、 Madanlal.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Logic, Language, and Computation [electronic resource] : 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25, 2009. Revised Selected Papers

0
索取号：
作者：Bezhanishvili、 Nick.、L枚bner、 Sebastian.、Schwabe、 Kerstin.、Spada、 Luca.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Algorithms and Data Structures [electronic resource] : 12th International Symposium, WADS 2011, New York, NY, USA, August 15-17, 2011. Proceedings

0
索取号：
作者：Dehne、 Frank.、Iacono、 John.、Sack、 J枚rg-R眉diger.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing 2011 [electronic resource]

0
索取号：
作者：Lee、 Roger.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Environmental Software Systems. Frameworks of eEnvironment [electronic resource] : 9th IFIP WG 5.11 International Symposium, ISESS 2011, Brno, Czech Republic, June 27-29, 2011. Proceedings

0
索取号：
作者：H艡eb铆膷ek、 Ji艡铆.、Schimak、 Gerald.、Denzer、 Ralf.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.

Privacy Enhancing Technologies [electronic resource] : 11th International Symposium, PETS 2011, Waterloo, ON, Canada, July 27-29, 2011. Proceedings

0
索取号：
作者：Fischer-H眉bner、 Simone.、Hopper、 Nicholas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Systems, Software and Service Process Improvement [electronic resource] : 18th European Conference, EuroSPI 2011, Roskilde, Denmark, June 27-29, 2011. Proceedings

0
索取号：
作者：O鈥楥onnor、 Rory V.、Pries-Heje、 Jan.、Messnarz、 Richard.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Software Engineering and Computer Systems [electronic resource] : Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part III

0
索取号：
作者：Zain、 Jasni Mohamad.、Wan Mohd、 Wan Maseri bt.、El-Qawasmeh、 Eyas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Software Engineering and Computer Systems [electronic resource] : Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part II

0
索取号：
作者：Zain、 Jasni Mohamad.、Wan Mohd、 Wan Maseri bt.、El-Qawasmeh、 Eyas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Building Innovation Pipelines through Computer-Aided Innovation [electronic resource] : 4th IFIP WG 5.4 Working Conference, CAI 2011, Strasbourg, France, June 30 鈥ʵly 1, 2011. Proceedings

0
索取号：
作者：Cavallucci、 Denis.、Guio、 Roland.、Cascini、 Gaetano.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

Software Engineering and Computer Systems [electronic resource] : Second International Conference, ICSECS 2011, Kuantan, Pahang, Malaysia, June 27-29, 2011, Proceedings, Part I

0
索取号：
作者：Mohamad Zain、 Jasni.、Wan Mohd、 Wan Maseri bt.、El-Qawasmeh、 Eyas.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

The New Uranium Mining Boom [electronic resource] : Challenge and Lessons learned

0
索取号：
作者：Merkel、 Broder.、Schipek、 Mandy.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Star Clusters in the Era of Large Surveys [electronic resource] : Proceedings of Symposium 5 of JENAM 2010

0
索取号：
作者：Moitinho、 Andr茅.、Alves、 Jo茫o.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Computer Aided Verification [electronic resource] : 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011. Proceedings

0
索取号：
作者：Gopalakrishnan、 Ganesh.、Qadeer、 Shaz.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.

VII Hotine-Marussi Symposium on Mathematical Geodesy [electronic resource] : Proceedings of the Symposium in Rome, 6-10 June, 2009

0
索取号：
作者：Sneeuw、 Nico.、Nov谩k、 Pavel.、Crespi、 Mattia.、Sans貌、 Fernando.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.

Software Composition [electronic resource] : 10th International Conference, SC 2011, Zurich, Switzerland, June 30 - July 1, 2011. Proceedings

0
索取号：
作者：Apel、 Sven.、Jackson、 Ethan.、SpringerLink (Online service)、
出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2011.